From Quantified CTL to QBF

QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO). Several semantics exist for the quantifications: here, we work with the structure semantics, where the extra propositions label the Kripke structure (and not its execution tree), and the model-checking problem is known to be PSPACE-complete in this framework. We propose a model-checking algorithm for QCTL based on a reduction to QBF. We consider several reduction strategies, and we compare them with a prototype (based on the SMT-solver Z3) on several examples

Extension bases in Henselian valued fields

We give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an extension base. This enables us in particular to show that forking coincides with dividing in (the $^{eq}$ expansions of) some classical valued fields of residue characteristic zero, like the ultraproducts of the $p$-adic fields, or the field of Laurent series over $\mathbb{C}$. The strategy is to look for easy sufficient conditions for some unary types to be non-forking, and then use a standard induction argument.Comment: 37 pages, no figure, prepublicatio

Survey of Hypertension in Dhaka, Bangladesh: Changing Prescribing Patterns

Purpose: To assess changes in the prescribing pattern of antihypertensive drugs and lifestyle factors associated with hypertensive patients in Dhaka, Bangladesh.Methods: A cross-sectional study was conducted among 50 hypertensive patients in various heart disease hospitals and the consulting rooms of 10 cardiologists in the city of Dhaka to determine changes in prescribing patterns of antihypertensive drugs. Respondents were distributed more or less equally between males and the females.Results: Female patients aged 30 to 40 years (8 %) as well as male patients aged 50 to 60 years (54 %) and 60 to 70 years (12 %) were prone to hypertension. However, patients of both sexes whose age ranged from 40 to 50 (40 %) and 50 to 60 (36 %) were more prone to hypertension. It was observed that 46 % of the patients were overweight. A majority of the patients had diabetes with hypertension (28 %). Moreover, most of the patients (80 %) did not indulge in any physical exercise and were non-smokers but had a family history of hypertension. Combined antihypertensive drugs, especially thiazide diuretics with angiotensin II receptor blockers, calcium antagonists, and angiotensin-converting enzyme (ACE) inhibitors were the first choice of drugs by physicians. The prescribing rate of β-blockers (28.36 %) and combined antihypertensive preparations (40 %) was higher than that of older antihypertensives, viz loop diuretics, propranolol and enalapril.Conclusion: Combination therapy is favored by all doctors who compared with the past prescribing practice of a single medication for hypertension.Keywords: Hypertension, Prescribing pattern, Antihypertensive drugs, Lifestyle factors, Family histor

Grey, blue, and green hydrogen: A comprehensive review of production methods and prospects for zero-emission energy

Energy is the linchpin for economic development despite its generation deficit worldwide. Hydrogen can be used as an alternative energy source to meet the requirement that it emits zero to near-zero impurities and is safe for the environment and humans. Because of growing greenhouse gas emissions and the fast-expanding usage of renewable energy sources in power production in recent years, interest in hydrogen is resurging. Hydrogen may be utilized as a renewable energy storage, stabilizing the entire power system and assisting in the decarbonization of the power system, particularly in the industrial and transportation sectors. The main goal of this study is to describe several methods of producing hydrogen based on the principal energy sources utilized. Moreover, the financial and ecological outcomes of three key hydrogen colors (gray, blue, and green) are discussed. Hydrogen’s future prosperity is heavily reliant on technology advancement and cost reductions, along with future objectives and related legislation. This research might be improved by developing new hydrogen production methods, novel hydrogen storage systems, infrastructure, and carbon-free hydrogen generation

Modified coptisine derivatives as an inhibitor against pathogenic Rhizomucor miehei, Mycolicibacterium smegmatis (Black Fungus), Monkeypox, and Marburg virus by molecular docking and molecular dynamics simulation-based drug design approach

During the second phase of SARS-CoV-2, an unknown fungal infection, identified as black fungus, was transmitted to numerous people among the hospitalized COVID-19 patients and increased the death rate. The black fungus is associated with the Mycolicibacterium smegmatis, Mucor lusitanicus, and Rhizomucor miehei microorganisms. At the same time, other pathogenic diseases, such as the Monkeypox virus and Marburg virus, impacted global health. Policymakers are concerned about these pathogens due to their severe pathogenic capabilities and rapid spread. However, no standard therapies are available to manage and treat those conditions. Since the coptisine has significant antimicrobial, antiviral, and antifungal properties; therefore, the current investigation has been designed by modifying coptisine to identify an effective drug molecule against Black fungus, Monkeypox, and Marburg virus. After designing the derivatives of coptisine, they have been optimized to get a stable molecular structure. These ligands were then subjected to molecular docking study against two vital proteins obtained from black fungal pathogens: Rhizomucor miehei (PDB ID: 4WTP) and Mycolicibacterium smegmatis (PDB ID 7D6X), and proteins found in Monkeypox virus (PDB ID: 4QWO) and Marburg virus (PDB ID 4OR8). Following molecular docking, other computational investigations, such as ADMET, QSAR, drug-likeness, quantum calculation and molecular dynamics, were also performed to determine their potentiality as antifungal and antiviral inhibitors. The docking score reported that they have strong affinities against Black fungus, Monkeypox virus, and Marburg virus. Then, the molecular dynamic simulation was conducted to determine their stability and durability in the physiological system with water at 100 ns, which documented that the mentioned drugs were stable over the simulated time. Thus, our in silico investigation provides a preliminary report that coptisine derivatives are safe and potentially effective against Black fungus, Monkeypox virus, and Marburg virus. Hence, coptisine derivatives may be a prospective candidate for developing drugs against Black fungus, Monkeypox and Marburg viruses

An overview of anti-diabetic plants used in Gabon: Pharmacology and Toxicology

© 2017 Elsevier B.V. All rights reserved.Ethnopharmacological relevance: The management of diabetes mellitus management in African communities, especially in Gabon, is not well established as more than 60% of population rely on traditional treatments as primary healthcare. The aim of this review was to collect and present the scientific evidence for the use of medicinal plants that are in currect by Gabonese traditional healers to manage diabetes or hyperglycaemia based here on the pharmacological and toxicological profiles of plants with anti-diabetic activity. There are presented in order to promote their therapeutic value, ensure a safer use by population and provide some bases for further study on high potential plants reviewed. Materials and methods: Ethnobotanical studies were sourced using databases such as Online Wiley library, Pubmed, Google Scholar, PROTA, books and unpublished data including Ph.D. and Master thesis, African and Asian journals. Keywords including ‘Diabetes’ ‘Gabon’ ‘Toxicity’ ‘Constituents’ ‘hyperglycaemia’ were used. Results: A total of 69 plants currently used in Gabon with potential anti-diabetic activity have been identified in the literature, all of which have been used in in vivo or in vitro studies. Most of the plants have been studied in human or animal models for their ability to reduce blood glucose, stimulate insulin secretion or inhibit carbohydrates enzymes. Active substances have been identified in 12 out of 69 plants outlined in this review, these include Allium cepa and Tabernanthe iboga. Only eight plants have their active substances tested for anti-diabetic activity and are suitables for further investigation. Toxicological data is scarce and is dose-related to the functional parameters of major organs such as kidney and liver. Conclusion: An in-depth understanding on the pharmacology and toxicology of Gabonese anti-diabetic plants is lacking yet there is a great scope for new treatments. With further research, the use of Gabonese anti-diabetic plants is important to ensure the safety of the diabetic patients in Gabon.Peer reviewedFinal Accepted Versio

Utilisation of an operative difficulty grading scale for laparoscopic cholecystectomy

Background A reliable system for grading operative difficulty of laparoscopic cholecystectomy would standardise description of findings and reporting of outcomes. The aim of this study was to validate a difficulty grading system (Nassar scale), testing its applicability and consistency in two large prospective datasets. Methods Patient and disease-related variables and 30-day outcomes were identified in two prospective cholecystectomy databases: the multi-centre prospective cohort of 8820 patients from the recent CholeS Study and the single-surgeon series containing 4089 patients. Operative data and patient outcomes were correlated with Nassar operative difficultly scale, using Kendall’s tau for dichotomous variables, or Jonckheere–Terpstra tests for continuous variables. A ROC curve analysis was performed, to quantify the predictive accuracy of the scale for each outcome, with continuous outcomes dichotomised, prior to analysis. Results A higher operative difficulty grade was consistently associated with worse outcomes for the patients in both the reference and CholeS cohorts. The median length of stay increased from 0 to 4 days, and the 30-day complication rate from 7.6 to 24.4% as the difficulty grade increased from 1 to 4/5 (both p < 0.001). In the CholeS cohort, a higher difficulty grade was found to be most strongly associated with conversion to open and 30-day mortality (AUROC = 0.903, 0.822, respectively). On multivariable analysis, the Nassar operative difficultly scale was found to be a significant independent predictor of operative duration, conversion to open surgery, 30-day complications and 30-day reintervention (all p < 0.001). Conclusion We have shown that an operative difficulty scale can standardise the description of operative findings by multiple grades of surgeons to facilitate audit, training assessment and research. It provides a tool for reporting operative findings, disease severity and technical difficulty and can be utilised in future research to reliably compare outcomes according to case mix and intra-operative difficulty

Population‐based cohort study of outcomes following cholecystectomy for benign gallbladder diseases

Background The aim was to describe the management of benign gallbladder disease and identify characteristics associated with all‐cause 30‐day readmissions and complications in a prospective population‐based cohort. Methods Data were collected on consecutive patients undergoing cholecystectomy in acute UK and Irish hospitals between 1 March and 1 May 2014. Potential explanatory variables influencing all‐cause 30‐day readmissions and complications were analysed by means of multilevel, multivariable logistic regression modelling using a two‐level hierarchical structure with patients (level 1) nested within hospitals (level 2). Results Data were collected on 8909 patients undergoing cholecystectomy from 167 hospitals. Some 1451 cholecystectomies (16·3 per cent) were performed as an emergency, 4165 (46·8 per cent) as elective operations, and 3293 patients (37·0 per cent) had had at least one previous emergency admission, but had surgery on a delayed basis. The readmission and complication rates at 30 days were 7·1 per cent (633 of 8909) and 10·8 per cent (962 of 8909) respectively. Both readmissions and complications were independently associated with increasing ASA fitness grade, duration of surgery, and increasing numbers of emergency admissions with gallbladder disease before cholecystectomy. No identifiable hospital characteristics were linked to readmissions and complications. Conclusion Readmissions and complications following cholecystectomy are common and associated with patient and disease characteristics

The development and validation of a scoring tool to predict the operative duration of elective laparoscopic cholecystectomy

Background: The ability to accurately predict operative duration has the potential to optimise theatre efficiency and utilisation, thus reducing costs and increasing staff and patient satisfaction. With laparoscopic cholecystectomy being one of the most commonly performed procedures worldwide, a tool to predict operative duration could be extremely beneficial to healthcare organisations. Methods: Data collected from the CholeS study on patients undergoing cholecystectomy in UK and Irish hospitals between 04/2014 and 05/2014 were used to study operative duration. A multivariable binary logistic regression model was produced in order to identify significant independent predictors of long (> 90 min) operations. The resulting model was converted to a risk score, which was subsequently validated on second cohort of patients using ROC curves. Results: After exclusions, data were available for 7227 patients in the derivation (CholeS) cohort. The median operative duration was 60 min (interquartile range 45–85), with 17.7% of operations lasting longer than 90 min. Ten factors were found to be significant independent predictors of operative durations > 90 min, including ASA, age, previous surgical admissions, BMI, gallbladder wall thickness and CBD diameter. A risk score was then produced from these factors, and applied to a cohort of 2405 patients from a tertiary centre for external validation. This returned an area under the ROC curve of 0.708 (SE = 0.013, p  90 min increasing more than eightfold from 5.1 to 41.8% in the extremes of the score. Conclusion: The scoring tool produced in this study was found to be significantly predictive of long operative durations on validation in an external cohort. As such, the tool may have the potential to enable organisations to better organise theatre lists and deliver greater efficiencies in care

The Cholecystectomy As A Day Case (CAAD) Score: A Validated Score of Preoperative Predictors of Successful Day-Case Cholecystectomy Using the CholeS Data Set

Background Day-case surgery is associated with significant patient and cost benefits. However, only 43% of cholecystectomy patients are discharged home the same day. One hypothesis is day-case cholecystectomy rates, defined as patients discharged the same day as their operation, may be improved by better assessment of patients using standard preoperative variables. Methods Data were extracted from a prospectively collected data set of cholecystectomy patients from 166 UK and Irish hospitals (CholeS). Cholecystectomies performed as elective procedures were divided into main (75%) and validation (25%) data sets. Preoperative predictors were identified, and a risk score of failed day case was devised using multivariate logistic regression. Receiver operating curve analysis was used to validate the score in the validation data set. Results Of the 7426 elective cholecystectomies performed, 49% of these were discharged home the same day. Same-day discharge following cholecystectomy was less likely with older patients (OR 0.18, 95% CI 0.15–0.23), higher ASA scores (OR 0.19, 95% CI 0.15–0.23), complicated cholelithiasis (OR 0.38, 95% CI 0.31 to 0.48), male gender (OR 0.66, 95% CI 0.58–0.74), previous acute gallstone-related admissions (OR 0.54, 95% CI 0.48–0.60) and preoperative endoscopic intervention (OR 0.40, 95% CI 0.34–0.47). The CAAD score was developed using these variables. When applied to the validation subgroup, a CAAD score of ≤5 was associated with 80.8% successful day-case cholecystectomy compared with 19.2% associated with a CAAD score >5 (p < 0.001). Conclusions The CAAD score which utilises data readily available from clinic letters and electronic sources can predict same-day discharges following cholecystectomy